Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Analítica	Darwin: Una herramienta para verificar diseños arquitecturales	Castro, Pablo	EN: WICC 2006 [CD-ROM] / Workshop de Investigadores en Ciencias de la Computación (8º : 2006 : Morón) Edición: 1a ed. (2006) (CD-ROM)		----------
Analítica	E-machines	Castro, Pablo	EN: CACIC 2001 [CD-ROM] Edición: 1a ed. (2001) (Libro)		----------
Analítica	Utilizando contratos de reuso con Alloy	Castro, Pablo	EN: CACIC 2k Ushuaia [CD-ROM] / Congreso Argentino de Ciencias de la Computación (6º : 2000 : Ushuaia) Edición: (2000) (Libro)		----------
Artículo	Verifying BON models with alloy :	Demasi, Ramiro	(2005)		----------